| Design by Contract | Dieser Text beschreibt Design by Contract.
Der untere Text beinhaltet die Design by Contract Beschreibung. Soweit es sich um ein definierbares Objekt handelt, sollte hier eine Design by Contract Definition vorhanden sein. Sollte eine Definition von Design by Contract fehlen, kann diese von Ihnen verfaßt werden. Wir sind bestrebt die Beschreibung von Design by Contract möglichst ausführlich zu halten.
Jeder Text bei Know-Library, sowie ein Teil davon (Definition, Beschreibung etc.), außer Bücher Beschreibungen kann bearbeitet werden. Falls die Beschreibung auf dieser Seite nicht korrekt ist klicken Sie auf 'Beschreibung editieren' um den Text zu korrigieren bzw. neuen einzufügen. Weitere Informationen und Bücher zum Thema Design by Contract Beschreibung , so wie Link zum Forum finden Sie weiter unten. Eine Übersicht der Texte, die das Thema Design by Contract beschreiben finden Sie auf der Seite alle Artikel über Design by Contract. Fragen zu dem Thema Design by Contract können im Forum gestellt werden. Klicken Sie hier um zu dem Forum zu wechseln.
Design by Contract ArtikelBuch-Tipp: Arbeitsplatz in Gefahr - das sind Ihre Rechte Ein gelungenes Buch Das Buch ist sehr übersichtlich aufgebaut, sehr gut geschrieben und geradezu spannend zu lesen.
Wie man sich erfolgreich gegen einen drohenden Arbeitsplatzverlust wehren kann, weiß man nach dem Lesen dieses Buches. Dabei fühlt man sich geradezu persönlich angesprochen und verstanden. Die Materie wird unter allen nur erdenklichen... Die Absicht von Design by Contract (Entwurf durch Vertrag) ist das reibungslose Zusammenspiel einzelner Programmartefakte, indem die Problematik der mißverstandenen Schnittstellen weitgehend ausgeräumt wird. Eingeführt wurde es von Berntrand Meyer , dem Entwickler der Programmiersprache Eiffel.
Dies wird durch einen Vertrag erreicht, der beispielsweise bei der Verwendung einer Methode einzuhalten ist. Dieser besteht zu dem einen aus den Vorbedingungen, also den Zusicherungen, die der Aufrufer einzuhalten hat. Zu dem anderen besteht er aber auch aus den Nachbedingungen, also den Zusicherungen, die der Aufgerufene einhalten wird.
In einem konkreten Vertrag für eine Methode werden dann die Wertebereiche der Eingangsparameter exakt klassifiziert, sowie deren Randbedingungen und Anforderungen festgehalten. Dementsprechend werden auch die Ausgangsparameter beschrieben.
Somit wird zusätzlich zu den von der Programmiersprache selber benutzten Sicherungsverfahren, wie zu dem Beispiel der Typkontrolle, auch eine semantische Sicherung ermöglicht.
Weitergehende Informationen über eine mögliche DBC-Verwendung in Java:
[1] (http://www.jmlspecs.org)
Weiteres zu dem Artikel Design by Contract | | Andere Leser interessierten sich auch für folgende Beschreibungen: | | | Schnellzugrif auf verwandte Texte: | | | NEU! Frage im Forum zum Thema: | | Wenn die Beschreibung 'Design by Contract' Ihrer Meinung nach nicht korrekt ist oder in aktueller Version Fehler enthalten sind oder es fehlt die Design by Contract Definition, dann klicken Sie bitte auf "Beschreibung bearbeiten" und schreiben Sie die Eigene Version des Textes. Die Änderungen in der Beschreibung werden sofort aktiv und für alle sichtbar. Ein Administrator wird Ihre Version der Beschreibung und Definition von 'Design by Contract' nachher prüfen. Bitte achten Sie auf die Urheberrechte (Copyright). Wir sind für die besseren Beschreibung von 'Design by Contract' und 'Design by Contract' Definition sehr dankbar.
Alle Tipps zu den Bücher auf dieser Seite wurden automatisch generiert. D.h. die Bücher wurden aus einer Datenbank von dem Computer ausgesucht. Deshalb kann es vorkommen, dass vorgeschlagene Bücher nicht ganz der 'Design by Contract' Beschreibung entsprechen.
Liste aller verwandten Artikel: Beispiel, Design, Entwickler, Methode, Meyer, Programmiersprache, Sicherung, Vertrag |
|
|
· Diese Seite wurde bisher 135 mal abgerufen.
· Letzte Counteraktualisierung erfolgte am 17.05.2008 um 10:08:19
· Diese Seite wurde zuletzt geändert um 16:44, 11. Jun 2004.
· Letzte Portalaktualisierung erfolgte um 08:00:00 GMT, 25.02.2008
|
